翻訳と辞書
Words near each other
・ desiccated thyroid gland
・ desiccating agent
・ desiccation
・ desiccator
・ desideratum
・ desidua
・ Design
・ design
・ design A to do
・ design automation
・ Design By Contract
・ Design Channel
・ design characteristic
・ Design Compiler
・ design concept
・ design criteria
・ design engineering
・ design flood
・ design for manufacturability
・ Design rule for Camera File system


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Design By Contract ( リダイレクト:契約プログラミング ) : ウィキペディア日本語版
契約プログラミング[けいやくぷろぐらみんぐ]
契約プログラミング(けいやくプログラミング、Programming By Contract)または契約による設計(けいやくによるせっけい、Design By Contract)とは、プログラムコードの中にプログラムが満たすべき仕様についての記述を盛り込む事で設計の安全性を高める技法。プログラミング言語Eiffelで初めて導入された。"Design by Contract" の頭文字からとった DbC (ディービーシー) でよばれることが多い。
==概要==
ソフトウェア開発工程で、あるコードを使用した際にエラーが生じたとする。この時エラーには2つの可能性がある:
* コードの実装に誤りがあった
* コードを使う側に誤りがあった。
契約では、コードの利用条件を主処理とは別に定めることでエラーの位置を明確にする。契約違反が発生すると例外などの形で実行は中断される。
これは仕様をドキュメントとして付属する代わりに、実行可能な形態でコードの一部にできるという事である。最終的な配布物はコンパイラオプションで契約用コードを取り除く。従って実行効率にも影響しない。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「契約プログラミング」の詳細全文を読む

英語版ウィキペディアに対照対訳語「 Design by contract 」があります。




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.